Total Books: 1 - 1 /1
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
Lire la suite
Total Books: 1 - 1 /1
